minios: Add noreturn attribute to do_exit

Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>

diff --git a/extras/mini-os/include/ia64/os.h b/extras/mini-os/include/ia64/os.h
index 4e9f595f38be6ae9093f4081026e93b60710bf8d..51e365e8a64c4fe0c5bc90ba748710505d159086 100644 (file)
--- a/extras/mini-os/include/ia64/os.h
+++ b/extras/mini-os/include/ia64/os.h
@@ -44,7 +44,7 @@ typedef uint64_t caddr_t;             /* rr7/kernel memory address. */
 #include "mm.h"
 
 
-void do_exit(void);
+void do_exit(void) __attribute__((noreturn));
 void arch_init(start_info_t *si);      /* in common.c */
 void arch_print_info(void);            /* in common.c */
 

diff --git a/extras/mini-os/include/x86/os.h b/extras/mini-os/include/x86/os.h
index 80f5586a49ee223306b4515040e9515ec5fbcdb9..7a4433b3f90bff56b2be60bc3a17189bc4b3cd85 100644 (file)
--- a/extras/mini-os/include/x86/os.h
+++ b/extras/mini-os/include/x86/os.h
@@ -21,7 +21,7 @@
 
 #define USED    __attribute__ ((used))
 
-extern void do_exit(void);
+extern void do_exit(void) __attribute__((noreturn));
 #define BUG do_exit
 
 #endif